A system of research dissemination for clinical and counselling psychology

This thesis integrates the reflective components of action research, appreciative inquiry and autobiographical methods. Through the thesis, a model of dissemination of research in the fields of clinical and counselling psychology is presented. Its key components include collaboration and collaborative/relational reflection, appreciative inquiry and the researcher-practitioner/reflective-practitioner framework. Other important elements include collaborations that link research, practice and reflection, the identifying and supporting the development of potential leaders, leading research projects and training and conferences. Public Works such as the “Up Skilling the Specialist Mental Health Workforce in Psychological Practice Skills” and The European Journal of Counselling Psychology are used as foundations for this model. The thesis concludes with action planning for the future as part of the action research and appreciative inquiry forward spirals of planning, action, reflection, planning; this includes developments in the field of independent practice of clinical and counselling psychology

Compositional Performance Modelling with the TIPPtool

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations

Sigref – A Symbolic Bisimulation Tool Box

We present a uniform signature-based approach to compute the most popular bisimulations. Our approach is implemented symbolically using BDDs, which enables the handling of very large transition systems. Signatures for the bisimulations are built up from a few generic building blocks, which naturally correspond to efficient BDD operations. Thus, the definition of an appropriate signature is the key for a rapid development of algorithms for other types of bisimulation. We provide experimental evidence of the viability of this approach by presenting computational results for many bisimulations on real-world instances. The experiments show cases where our framework can handle state spaces efficiently that are far too large to handle for any tool that requires an explicit state space description. This work was partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS). See www.avacs.org for more information

A tutorial on interactive Markov chains

Interactive Markov chains (IMCs) constitute a powerful sto- chastic model that extends both continuous-time Markov chains and labelled transition systems. IMCs enable a wide range of modelling and analysis techniques and serve as a semantic model for many industrial and scientific formalisms, such as AADL, GSPNs and many more. Applications cover various engineering contexts ranging from industrial system-on-chip manufacturing to satellite designs. We present a survey of the state-of-the-art in modelling and analysis of IMCs.\ud We cover a set of techniques that can be utilised for compositional modelling, state space generation and reduction, and model checking. The significance of the presented material and corresponding tools is highlighted through multiple case studies

Acute myeloid leukemia maturation lineage influences residual disease and relapse following differentiation therapy

Acute myeloid leukemia (AML) is a malignancy of immature progenitor cells. AML differentiation therapies trigger leukemia maturation and can induce remission, but relapse is prevalent and its cellular origin is unclear. Here we describe high resolution analysis of differentiation therapy response and relapse in a mouse AML model. Triggering leukemia differentiation in this model invariably produces two phenotypically distinct mature myeloid lineages in vivo. Leukemia-derived neutrophils dominate the initial wave of leukemia differentiation but clear rapidly and do not contribute to residual disease. In contrast, a therapyinduced population of mature AML-derived eosinophil-like cells persists during remission, often in extramedullary organs. Using genetic approaches we show that restricting therapy induced leukemia maturation to the short-lived neutrophil lineage markedly reduces relapse rates and can yield cure. These results indicate that relapse can originate from therapy resistant mature AML cells, and suggest differentiation therapy combined with targeted eradication of mature leukemia-derived lineages may improve disease outcome.Steven Ngo, Ethan P. Oxley, Margherita Ghisi, Maximilian M. Garwood, Mark D. McKenzie, Helen L. Mitchell, Peter Kanellakis, Olivia Susanto, Michael J. Hickey, Andrew C. Perkins, Benjamin T. Kile, Ross A. Dickin

A First Look at Rotation in Inactive Late-Type M Dwarfs

We have examined the relationship between rotation and activity in 14 late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M. Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey. Most were selected to be inactive at a spectral type where strong H-alpha emission is quite common. We used the cross-correlation technique to quantify the rotational broadening; six of the stars in our sample have vsini > 3.5 km/s. Our most significant and perplexing result is that three of these stars do not exhibit H-alpha emission, despite rotating at velocities where previous work has observed strong levels of magnetic field and stellar activity. Our results suggest that rotation and activity in late-type M dwarfs may not always be linked, and open several additional possibilities including a rotationally-dependent activity threshold, or a possible dependence on stellar parameters of the Rossby number at which magnetic/activity "saturation" takes place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap